Trans(T;x,y.E(x;y)) ==
a, b, c:T. E(a;b) 
E(b;c) E(a;c)
clarification:
basic
Trans(T;x,y.E(x;y)) ==
a:T. b:T, c:T. E(a;b) E(b;c) E(a;c) | 12,41 |
a, b, c:T. E(a;b) E(b;c) E(a;c)
a:T. b:T, c:T. E(a;b) E(b;c) E(a;c)
| Definitions | x:A. B(x) Q |
| FDL editor aliases | trans |